Date / Time: | 06/13/04 21:30:52 |
Tracefile 1 : | traceminos.trc |
Tracefile 2 : | tracebaron.trc |
Solvers used : | MINOS |
BARON | |
Modeltype(s) |   NLP |
Total | Obj MINOS better | Obj same | Obj BARON better | |
Solver MINOS infinitely faster : | 16 | 16 | - | - |
Solver MINOS much faster : | 57 | 2 | 40 | 15 |
Solver MINOS faster : | 14 | - | 10 | 4 |
Solvers perform the same : | 190 | 4 | 116 | 70 |
Solver BARON faster : | - | - | - | - |
Solver BARON much faster : | - | - | - | - |
Solver BARON infinitely faster : | 11 | - | - | 11 |
Both solvers failed to solve optimally : | - | - | - | - |
Total models: : | 288 | 22 | 166 | 100 |
Outcome | Model Status | Solver Status |
globally optimal | 1 or 15 | 1 |
locally optimal/feasible | 2 or 7 or 16 or 17 | 1 or 2 or 3 or 4 or 5 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
chain100 | 0.3000 | fail | -- | 5.06978462E+00 | 0.00000000E+00 |
elec100 | 30.0300 | fail | -- | 3.67386874E+03 | 0.00000000E+00 |
elec50 | 6.2200 | fail | -- | 1.05518231E+03 | 0.00000000E+00 |
ex14_1_4 | 0.0100 | fail | -- | 0.00000000E+00 | 0.00000000E+00 |
ex8_1_1 | 0.0000 | fail | -- | -2.02180678E+00 | 0.00000000E+00 |
ex8_1_2 | 0.0100 | fail | -- | 2.80345848E+00 | 0.00000000E+00 |
ex8_2_1 | 0.0000 | fail | -- | 1.05199960E-04 | 1.00000000E+51 |
ex8_2_4 | 4.4900 | fail | -- | 1.17073301E-05 | 1.00000000E+51 |
ex8_3_13 | 0.0300 | fail | -- | 0.00000000E+00 | 0.00000000E+00 |
ex8_3_14 | 0.0100 | fail | -- | -2.08041015E+00 | 0.00000000E+00 |
korcge | 0.0100 | fail | -- | -3.39213028E+02 | 0.00000000E+00 |
launch | 0.0100 | infeasible | -- | 2.25779756E+03 | 0.00000000E+00 |
lnts50 | 0.1000 | fail | -- | 5.54668765E-01 | 0.00000000E+00 |
pollut | 0.0000 | infeasible | -- | -5.35326863E+06 | 0.00000000E+00 |
ship | 0.0000 | fail | -- | 5.54091471E+00 | 0.00000000E+00 |
worst | 0.0000 | fail | -- | 2.07626092E+07 | 0.00000000E+00 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
ex8_3_1 | 0.5000 | 120.0000 | 0.004 | -8.16684773E-01 | -7.67498077E-01 |
ex8_3_5 | 0.1600 | 120.7200 | 0.001 | -6.91196699E-02 | -6.87867312E-02 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
abel | 0.0000 | 120.0000 | --- | 2.25194583E+02 | 2.25194583E+02 |
bayes2_50 | 0.0800 | 120.0300 | 0.001 | 5.20208411E-01 | 5.20207740E-01 |
camcge | 0.0200 | 120.0300 | --- | -1.91734624E+02 | -1.91734624E+02 |
chain25 | 0.1000 | 122.2700 | 0.001 | 5.07226149E+00 | 5.07226149E+00 |
chain50 | 0.1000 | 122.2100 | 0.001 | 5.07226149E+00 | 5.07226149E+00 |
chem | 0.0000 | 1.2000 | --- | -4.77065148E+01 | -4.77065148E+01 |
chenery | 0.0000 | 0.7500 | --- | -1.05891989E+03 | -1.05891986E+03 |
elec25 | 1.9500 | 121.9300 | 0.016 | 2.43812760E+02 | 2.43812760E+02 |
etamac | 0.0200 | 1.2700 | --- | -1.52946756E+01 | -1.52946756E+01 |
ex2_1_9 | 0.0000 | 0.9200 | --- | -3.75000000E-01 | -3.75000000E-01 |
ex5_4_4 | 0.0100 | 120.0000 | --- | 1.00777754E+04 | 1.00777754E+04 |
ex6_1_1 | 0.0000 | 3.0200 | --- | -2.01983117E-02 | -2.01983117E-02 |
ex6_1_3 | 0.0000 | 3.6400 | --- | -3.52497801E-01 | -3.52497801E-01 |
ex6_2_11 | 0.0000 | 120.0000 | --- | -2.67240776E-06 | -2.67241000E-06 |
ex6_2_12 | 0.0000 | 4.3100 | --- | 2.89194748E-01 | 2.89194748E-01 |
ex6_2_14 | 0.0100 | 1.0200 | --- | -6.95357935E-01 | -6.95357935E-01 |
ex6_2_5 | 0.0000 | 120.0000 | --- | -7.07520778E+01 | -7.07520778E+01 |
ex6_2_6 | 0.0000 | 39.8900 | --- | 7.10762559E-07 | -2.60253000E-06 |
ex6_2_7 | 0.0000 | 120.0000 | --- | -1.60847615E-01 | -1.60847615E-01 |
ex6_2_8 | 0.0000 | 19.0200 | --- | -2.70063488E-02 | -2.70063488E-02 |
ex6_2_9 | 0.0000 | 120.0100 | --- | -3.40661841E-02 | -3.40661841E-02 |
ex7_2_3 | 0.0000 | 75.2400 | --- | 7.04921807E+03 | 7.04924802E+03 |
ex8_3_2 | 0.1300 | 120.0200 | 0.001 | -4.12330186E-01 | -4.12330185E-01 |
ex8_3_3 | 0.1600 | 120.0100 | 0.001 | -4.16603083E-01 | -4.16603083E-01 |
ex8_3_4 | 0.1600 | 120.0100 | 0.001 | -3.57998238E+00 | -3.57998238E+00 |
ex8_3_6 | 0.2000 | 120.0000 | 0.002 | -5.00000000E-01 | -5.00000000E-01 |
ex8_3_7 | 0.1900 | 120.0100 | 0.002 | -1.23261919E+00 | -1.23261919E+00 |
ex8_3_9 | 0.1000 | 120.4200 | 0.001 | -7.63001935E-01 | -7.63001935E-01 |
ex8_4_2 | 0.0100 | 120.0000 | --- | 4.85152487E-01 | 4.85152487E-01 |
ex8_4_5 | 0.0100 | 3.4900 | --- | 3.07485988E-04 | 3.07485748E-04 |
ex8_4_6 | 0.0100 | 120.0200 | --- | 1.10497899E-03 | 1.10497899E-03 |
ex8_4_7 | 0.0000 | 120.0000 | --- | 2.90473067E+01 | 2.90473067E+01 |
least | 0.0000 | 120.0000 | --- | 1.40851398E+04 | 1.40851398E+04 |
like | 0.0100 | 0.6300 | --- | 1.13841056E+03 | 1.13841056E+03 |
minlphi | 0.0000 | 5.0400 | --- | 5.82236142E+02 | 5.82236142E+02 |
pindyck | 0.0000 | 120.0100 | --- | -1.17048629E+03 | -1.17048629E+03 |
qp1 | 0.0600 | 120.0300 | 0.000 | 8.09315050E-04 | 8.09315000E-04 |
qp2 | 0.0300 | 120.0300 | --- | 8.09315050E-04 | 8.09315000E-04 |
qp3 | 0.0200 | 120.0100 | --- | 8.09315050E-04 | 8.09315000E-04 |
sambal | 0.0000 | 1.1800 | --- | 3.96822036E+00 | 3.96822036E+00 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
bayes2_10 | 0.0800 | 1.0600 | 0.075 | 4.15552246E+02 | 1.83751753E-02 |
bayes2_20 | 0.0700 | 120.0500 | 0.001 | 7.33583955E+02 | 3.26088000E-04 |
bayes2_30 | 0.1700 | 120.0100 | 0.001 | 2.51200636E-01 | 1.07515460E-04 |
bearing | 0.0000 | 120.0000 | --- | 1.95179295E+00 | 1.95173322E+00 |
btest14 | 0.0100 | 120.1500 | --- | 3.19775149E+01 | 3.24508823E+01 |
ex5_2_5 | 0.0100 | 120.0400 | --- | -1.90000000E+03 | -3.50000000E+03 |
ex6_2_10 | 0.0100 | 120.0100 | --- | -3.05122548E+00 | -3.05197613E+00 |
ex6_2_13 | 0.0000 | 120.0100 | --- | -2.10209293E-01 | -2.16209437E-01 |
ex7_2_4 | 0.0000 | 1.8800 | --- | 4.20285304E+00 | 3.91801023E+00 |
ex8_1_3 | 0.0000 | 120.0100 | --- | 3.00000000E+01 | 3.00000000E+00 |
ex8_3_10 | 0.0800 | 120.0100 | 0.001 | -3.59650766E-02 | -8.84547419E-01 |
ex8_4_8 | 0.0000 | 120.0100 | --- | 1.71621563E+02 | 3.32184733E+00 |
ex8_6_1 | 0.0700 | 120.0200 | 0.001 | -2.64904987E+01 | -2.84225319E+01 |
ex8_6_2 | 0.0700 | 120.0400 | 0.001 | -3.12849206E+01 | -3.18886296E+01 |
himmel16 | 0.0100 | 3.0500 | --- | -6.74981443E-01 | -8.66025404E-01 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
chakra | 0.0000 | 0.1600 | --- | -1.79133558E+02 | -1.79133558E+02 |
ex6_1_4 | 0.0000 | 0.1100 | --- | -2.94541288E-01 | -2.94541288E-01 |
ex8_1_7 | 0.0100 | 0.1500 | --- | 2.93108307E-02 | 2.93108306E-02 |
ex8_4_3 | 0.0100 | 0.3500 | --- | 4.64971566E-03 | 4.64971528E-03 |
ex8_4_4 | 0.0000 | 0.1600 | --- | 2.12459839E-01 | 2.12459839E-01 |
harker | 0.0000 | 0.1700 | --- | -9.86513484E+02 | -9.86513484E+02 |
hhfair | 0.0100 | 0.3300 | --- | -8.71590376E+01 | -8.71590376E+01 |
qp4 | 0.0000 | 0.3400 | --- | 8.09315050E-04 | 8.09315000E-04 |
st_e03 | 0.0100 | 0.1600 | --- | -1.16133660E+03 | -1.16133660E+03 |
st_e05 | 0.1400 | 0.1600 | 0.875 | 7.04924927E+03 | 7.04924927E+03 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
ex14_1_7 | 0.0000 | 0.1200 | --- | 7.04274947E+00 | 0.00000000E+00 |
ex7_3_4 | 0.0000 | 0.4800 | --- | 1.00000000E+01 | 6.27463434E+00 |
ex8_1_5 | 0.0000 | 0.2600 | --- | 0.00000000E+00 | -1.03162845E+00 |
mhw4d | 0.0000 | 0.2600 | --- | 2.78719052E+01 | 2.93108307E-02 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
ex8_5_2 | 0.0000 | 0.0300 | --- | -3.65453824E+00 | -1.16266680E-08 |
ex8_5_3 | 0.0000 | 0.0100 | --- | -5.86102647E+00 | -4.13543014E-03 |
ex8_5_4 | 0.0000 | 0.0200 | --- | -1.77955372E-01 | -4.25147103E-04 |
sample | 0.0000 | 0.0300 | --- | 7.26668417E+02 | 7.26679359E+02 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
alkyl | 0.0000 | 0.0400 | --- | -1.76499965E+00 | -1.76499965E+00 |
chance | 0.0100 | 0.0100 | --- | 2.98943782E+01 | 2.98943782E+01 |
circle | 0.0100 | 0.0100 | --- | 4.57424779E+00 | 4.57424779E+00 |
demo7 | 0.0400 | 0.0200 | --- | -1.58904239E+06 | -1.58904239E+06 |
dispatch | 0.0000 | 0.0000 | --- | 3.15528793E+03 | 3.15528793E+03 |
ex14_1_1 | 0.0100 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_1_2 | 0.0000 | 0.0300 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_1_3 | 0.0000 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_1_5 | 0.0000 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_1_9 | 0.0000 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_1 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_2 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_3 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_4 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_5 | 0.0000 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_6 | 0.0100 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_7 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_8 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex14_2_9 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex2_1_1 | 0.0000 | 0.0100 | --- | -1.70000000E+01 | -1.70000000E+01 |
ex2_1_2 | 0.0000 | 0.0000 | --- | -2.13000000E+02 | -2.13000000E+02 |
ex2_1_3 | 0.0000 | 0.0100 | --- | -1.50000000E+01 | -1.50000000E+01 |
ex2_1_4 | 0.0000 | 0.0000 | --- | -1.10000000E+01 | -1.10000000E+01 |
ex2_1_5 | 0.0000 | 0.0200 | --- | -2.68014632E+02 | -2.68014632E+02 |
ex2_1_6 | 0.0000 | 0.0100 | --- | -3.90000000E+01 | -3.90000000E+01 |
ex2_1_7 | 0.0000 | 0.0900 | --- | -4.15041013E+03 | -4.15041013E+03 |
ex3_1_2 | 0.0000 | 0.0000 | --- | -3.06655387E+04 | -3.06655387E+04 |
ex3_1_3 | 0.0000 | 0.0000 | --- | -3.10000000E+02 | -3.10000000E+02 |
ex3_1_4 | 0.0000 | 0.0200 | --- | -4.00000000E+00 | -4.00000000E+00 |
ex4_1_1 | 0.0000 | 0.0100 | --- | -7.48731236E+00 | -7.48731236E+00 |
ex4_1_2 | 0.0000 | 0.0200 | --- | -6.63500097E+02 | -6.63500097E+02 |
ex4_1_3 | 0.0000 | 0.0100 | --- | -4.43671705E+02 | -4.43671705E+02 |
ex4_1_4 | 0.0100 | 0.0300 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex4_1_5 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex4_1_6 | 0.0000 | 0.0300 | --- | 7.00000000E+00 | 7.00000000E+00 |
ex4_1_7 | 0.0000 | 0.0200 | --- | -7.50000000E+00 | -7.50000000E+00 |
ex4_1_8 | 0.0000 | 0.0100 | --- | -1.67388932E+01 | -1.67388932E+01 |
ex4_1_9 | 0.0000 | 0.0200 | --- | -5.50801327E+00 | -5.50801327E+00 |
ex5_3_2 | 0.0000 | 0.0900 | --- | 1.86415946E+00 | 1.86415946E+00 |
ex5_4_2 | 0.0100 | 0.0900 | --- | 7.51223014E+03 | 7.51223014E+03 |
ex6_1_2 | 0.0000 | 0.0400 | --- | -3.24637501E-02 | -3.24637501E-02 |
ex7_2_1 | 0.0100 | 0.0300 | --- | 1.22722606E+03 | 1.22722608E+03 |
ex7_2_2 | 0.0200 | 0.0400 | --- | -3.88811435E-01 | -3.88811434E-01 |
ex7_3_2 | 0.0000 | 0.0100 | --- | 1.08986397E+00 | 1.08986397E+00 |
ex8_1_4 | 0.0000 | 0.0500 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex8_1_8 | 0.0100 | 0.0200 | --- | -3.88811435E-01 | -3.88811434E-01 |
ex8_3_12 | 0.0000 | 0.0500 | --- | -1.72244431E-09 | -1.72205235E-09 |
ex8_4_1 | 0.0100 | 0.0900 | --- | 6.18572759E-01 | 6.18572759E-01 |
ex9_1_1 | 0.0000 | 0.0100 | --- | -1.30000000E+01 | -1.30000000E+01 |
ex9_1_10 | 0.0100 | 0.0000 | --- | -3.25000000E+00 | -3.25000000E+00 |
ex9_1_4 | 0.0000 | 0.0100 | --- | -3.70000000E+01 | -3.70000000E+01 |
ex9_1_5 | 0.0000 | 0.0200 | --- | -1.00000000E+00 | -1.00000000E+00 |
ex9_1_8 | 0.0000 | 0.0000 | --- | -3.25000000E+00 | -3.25000000E+00 |
ex9_2_1 | 0.0000 | 0.0000 | --- | 1.70000000E+01 | 1.70000000E+01 |
ex9_2_2 | 0.0100 | 0.0100 | --- | 9.99999921E+01 | 9.99998948E+01 |
ex9_2_3 | 0.0100 | 0.0300 | --- | 0.00000000E+00 | 0.00000000E+00 |
ex9_2_4 | 0.0000 | 0.0300 | --- | 5.00000000E-01 | 5.00000000E-01 |
ex9_2_5 | 0.0000 | 0.0100 | --- | 5.00000000E+00 | 5.00000000E+00 |
ex9_2_6 | 0.0000 | 0.0200 | --- | -1.00000000E+00 | -1.00000000E+00 |
ex9_2_7 | 0.0000 | 0.0300 | --- | 1.70000000E+01 | 1.70000000E+01 |
ex9_2_8 | 0.0100 | 0.0100 | --- | 1.50000000E+00 | 1.50000000E+00 |
gtm | 0.0100 | 0.0900 | --- | 5.43565095E+02 | 5.43565095E+02 |
haverly | 0.0000 | 0.0400 | --- | -4.00000000E+02 | -4.00000000E+02 |
himmel11 | 0.0000 | 0.0100 | --- | -3.06655387E+04 | -3.06655387E+04 |
house | 0.0000 | 0.0100 | --- | -4.50000000E+03 | -4.50000000E+03 |
hydro | 0.0000 | 0.0500 | --- | 4.36694416E+06 | 4.36694416E+06 |
immun | 0.0000 | 0.0200 | --- | 0.00000000E+00 | 0.00000000E+00 |
meanvar | 0.0100 | 0.1000 | --- | 5.24339907E+00 | 5.24339907E+00 |
otpop | 0.0100 | 0.0400 | --- | 0.00000000E+00 | -1.53088439E-10 |
process | 0.0000 | 0.0600 | --- | -1.16133660E+03 | -1.16133660E+03 |
qp5 | 0.0100 | 0.0200 | --- | 4.31455897E-01 | 4.31455897E-01 |
ramsey | 0.0000 | 0.0300 | --- | -2.48746864E+00 | -2.48746864E+00 |
rbrock | 0.0000 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
srcpm | 0.0000 | 0.0600 | --- | 2.10978183E+03 | 2.10978183E+03 |
st_bpaf1a | 0.0100 | 0.0000 | --- | -4.53797101E+01 | -4.53797101E+01 |
st_bpaf1b | 0.0000 | 0.0100 | --- | -4.29625576E+01 | -4.29625576E+01 |
st_bpv1 | 0.0000 | 0.0200 | --- | 1.00000000E+01 | 1.00000000E+01 |
st_bsj2 | 0.0000 | 0.0200 | --- | 1.00000000E+00 | 1.00000000E+00 |
st_cqpf | 0.0000 | 0.0100 | --- | -2.75000000E+00 | -2.75000000E+00 |
st_cqpjk1 | 0.0100 | 0.0200 | --- | -1.24444422E+01 | -1.24444422E+01 |
st_cqpjk2 | 0.0000 | 0.0100 | --- | -1.25000000E+01 | -1.25000000E+01 |
st_e01 | 0.0000 | 0.0100 | --- | -6.66666667E+00 | -6.66666667E+00 |
st_e04 | 0.0000 | 0.0300 | --- | 5.19486624E+03 | 5.19487000E+03 |
st_e06 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
st_e07 | 0.0000 | 0.0200 | --- | -4.00000000E+02 | -4.00000000E+02 |
st_e10 | 0.0000 | 0.0000 | --- | -1.67388932E+01 | -1.67388932E+01 |
st_e17 | 0.0000 | 0.0100 | --- | 3.76291932E+02 | 3.76291932E+02 |
st_e18 | 0.0100 | 0.0100 | --- | -2.82842712E+00 | -2.82842712E+00 |
st_e20 | 0.0000 | 0.0200 | --- | -3.88811435E-01 | -3.88811434E-01 |
st_e23 | 0.0000 | 0.0300 | --- | -1.08333333E+00 | -1.08333333E+00 |
st_e25 | 0.0100 | 0.0100 | --- | 8.90193591E-01 | 8.90193591E-01 |
st_e26 | 0.0000 | 0.0200 | --- | -1.85779200E+02 | -1.85779200E+02 |
st_e28 | 0.0100 | 0.0000 | --- | -3.06655387E+04 | -3.06655387E+04 |
st_e33 | 0.0000 | 0.0200 | --- | -4.00000000E+02 | -4.00000000E+02 |
st_e34 | 0.0000 | 0.0200 | --- | 1.56195252E-02 | 1.56195252E-02 |
st_e41 | 0.0000 | 0.0000 | --- | 6.41823562E+02 | 6.41823562E+02 |
st_e42 | 0.0000 | 0.0100 | --- | 1.87842000E+01 | 1.87842000E+01 |
st_fp2 | 0.0000 | 0.0000 | --- | -2.13000000E+02 | -2.13000000E+02 |
st_fp4 | 0.0000 | 0.0100 | --- | -1.10000000E+01 | -1.10000000E+01 |
st_fp5 | 0.0000 | 0.0100 | --- | -2.68014632E+02 | -2.68014632E+02 |
st_glmp_ss1 | 0.0000 | 0.0200 | --- | -2.45714286E+01 | -2.45714286E+01 |
st_iqpbk1 | 0.0000 | 0.0400 | --- | -6.21487825E+02 | -6.21487825E+02 |
st_iqpbk2 | 0.0100 | 0.0300 | --- | -1.19522565E+03 | -1.19522565E+03 |
st_jcbpafex | 0.0000 | 0.0100 | --- | -1.08333333E+00 | -1.08333333E+00 |
st_m1 | 0.0000 | 0.0500 | --- | -4.61356939E+05 | -4.61356939E+05 |
st_m2 | 0.0100 | 0.0700 | --- | -8.56648819E+05 | -8.56648819E+05 |
st_ph10 | 0.0000 | 0.0000 | --- | -1.05000000E+01 | -1.05000000E+01 |
st_ph20 | 0.0100 | 0.0100 | --- | -1.58000000E+02 | -1.58000000E+02 |
st_qpc-m1 | 0.0000 | 0.0200 | --- | -4.73777778E+02 | -4.73777778E+02 |
st_qpc-m3b | 0.0000 | 0.0600 | --- | 0.00000000E+00 | 0.00000000E+00 |
st_qpc-m3c | 0.0000 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
st_qpc-m4 | 0.0100 | 0.0000 | --- | 0.00000000E+00 | 0.00000000E+00 |
st_rv3 | 0.0100 | 0.0200 | --- | -3.57606706E+01 | -3.57606706E+01 |
st_rv8 | 0.0100 | 0.0600 | --- | -1.32661629E+02 | -1.32661629E+02 |
st_z | 0.0000 | 0.0100 | --- | 0.00000000E+00 | 0.00000000E+00 |
weapons | 0.0100 | 0.0200 | --- | -1.73556958E+03 | -1.73556958E+03 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
ex14_1_6 | 0.0000 | 0.0100 | --- | 1.00000000E+00 | 0.00000000E+00 |
ex14_1_8 | 0.0000 | 0.0200 | --- | 4.14158852E-02 | 0.00000000E+00 |
ex2_1_10 | 0.0000 | 0.0300 | --- | 1.33718845E+05 | 4.93180180E+04 |
ex2_1_8 | 0.0000 | 0.0400 | --- | 2.52870000E+04 | 1.59900000E+04 |
ex5_2_2_case1 | 0.0000 | 0.0300 | --- | 0.00000000E+00 | -4.00000000E+02 |
ex5_2_2_case2 | 0.0000 | 0.0500 | --- | 0.00000000E+00 | -6.00000000E+02 |
ex5_2_2_case3 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -7.50000000E+02 |
ex5_2_4 | 0.0000 | 0.0400 | --- | -1.00000000E+02 | -4.50000000E+02 |
ex5_4_3 | 0.0000 | 0.0400 | --- | 5.93743735E+03 | 4.84546200E+03 |
ex7_3_1 | 0.0000 | 0.0000 | --- | 2.00000000E+00 | 3.41739553E-01 |
ex7_3_3 | 0.0000 | 0.0300 | --- | 1.14477980E+00 | 8.17529049E-01 |
ex8_1_6 | 0.0000 | 0.0100 | --- | -5.06543974E+00 | -1.00860015E+01 |
ex8_5_1 | 0.0000 | 0.0200 | --- | 8.20380735E-01 | -4.07176300E-07 |
ex8_5_5 | 0.0000 | 0.0100 | --- | 6.41757441E-01 | -1.07533431E-02 |
ex8_5_6 | 0.0100 | 0.0200 | --- | 4.49350171E+00 | 9.87906547E-07 |
ex9_1_2 | 0.0000 | 0.0000 | --- | -3.00000000E+00 | -1.60000000E+01 |
prolog | 0.0100 | 0.0200 | --- | 1.06218530E+00 | 5.80745052E-09 |
st_bpk1 | 0.0000 | 0.0100 | --- | -1.00000000E+01 | -1.30000000E+01 |
st_bpk2 | 0.0000 | 0.0100 | --- | -1.00000000E+01 | -1.30000000E+01 |
st_bpv2 | 0.0000 | 0.0000 | --- | 0.00000000E+00 | -8.00000000E+00 |
st_bsj3 | 0.0000 | 0.0200 | --- | -3.48430500E+04 | -8.67685500E+04 |
st_bsj4 | 0.0000 | 0.0200 | --- | -5.53796611E+04 | -7.02620500E+04 |
st_e09 | 0.0000 | 0.0000 | --- | 0.00000000E+00 | -5.00000000E-01 |
st_e11 | 0.0000 | 0.0800 | --- | 2.86942773E+02 | 1.89312000E+02 |
st_e12 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | -4.51420165E+00 |
st_e19 | 0.0000 | 0.0300 | --- | 1.03538291E+01 | -1.18704860E+02 |
st_e21 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | -1.34019036E+01 |
st_e22 | 0.0000 | 0.0000 | --- | -8.00000000E+01 | -8.50000000E+01 |
st_e24 | 0.0000 | 0.0100 | --- | 4.00000000E+00 | 3.00000000E+00 |
st_e37 | 0.0000 | 0.0300 | --- | 1.58393805E-02 | 1.04172000E-03 |
st_e39 | 0.0000 | 0.0200 | --- | -5.06543974E+00 | -1.00860015E+01 |
st_fp1 | 0.0000 | 0.0300 | --- | 0.00000000E+00 | -1.70000000E+01 |
st_fp3 | 0.0000 | 0.0200 | --- | -1.01093750E+01 | -1.38281250E+01 |
st_fp6 | 0.0000 | 0.0300 | --- | -1.82222222E+01 | -3.90000000E+01 |
st_fp7a | 0.0100 | 0.0400 | --- | 1.47958635E+00 | -3.54750612E+02 |
st_fp7b | 0.0000 | 0.0400 | --- | -4.70522010E+02 | -6.34750612E+02 |
st_fp7c | 0.0100 | 0.0400 | --- | -5.41044019E+03 | -8.69501225E+03 |
st_fp7d | 0.0100 | 0.0500 | --- | 6.55405444E+00 | -1.14750612E+02 |
st_fp7e | 0.0000 | 0.0300 | --- | 1.27507098E+01 | -3.73041013E+03 |
st_fp8 | 0.0100 | 0.0600 | --- | 2.05600000E+04 | 1.59900000E+04 |
st_glmp_fp1 | 0.0000 | 0.0100 | --- | 2.00000000E+01 | 1.00000000E+01 |
st_glmp_fp2 | 0.0000 | 0.0000 | --- | 7.62750000E+00 | 7.34454542E+00 |
st_glmp_fp3 | 0.0100 | 0.0100 | --- | 0.00000000E+00 | -1.20000000E+01 |
st_glmp_kk90 | 0.0100 | 0.0200 | --- | 4.00000000E+00 | 3.00000000E+00 |
st_glmp_kk92 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -1.20000000E+01 |
st_glmp_kky | 0.0000 | 0.0000 | --- | 1.50000000E+00 | -2.50000000E+00 |
st_glmp_ss2 | 0.0000 | 0.0200 | --- | 8.25000000E+00 | 3.00000000E+00 |
st_ht | 0.0000 | 0.0000 | --- | 0.00000000E+00 | -1.60000000E+00 |
st_jcbpaf2 | 0.0000 | 0.0300 | --- | -3.88349108E+02 | -7.94855914E+02 |
st_kr | 0.0000 | 0.0000 | --- | -8.00000000E+01 | -8.50000000E+01 |
st_pan1 | 0.0000 | 0.0000 | --- | 0.00000000E+00 | -5.28370918E+00 |
st_pan2 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -1.70000000E+01 |
st_ph1 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -2.30117284E+02 |
st_ph11 | 0.0000 | 0.0300 | --- | 0.00000000E+00 | -1.12812500E+01 |
st_ph12 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -2.26250000E+01 |
st_ph13 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -1.12812500E+01 |
st_ph14 | 0.0000 | 0.0200 | --- | -2.15125000E+02 | -2.29722222E+02 |
st_ph15 | 0.0000 | 0.0100 | --- | 0.00000000E+00 | -3.92703704E+02 |
st_ph2 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -1.02811728E+03 |
st_ph3 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -4.20234820E+02 |
st_phex | 0.0000 | 0.0000 | --- | -8.00000000E+01 | -8.50000000E+01 |
st_qpc-m0 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -5.00000000E+00 |
st_qpc-m3a | 0.0000 | 0.0300 | --- | 0.00000000E+00 | -3.82695000E+02 |
st_qpk1 | 0.0000 | 0.0200 | --- | 0.00000000E+00 | -3.00000000E+00 |
st_qpk2 | 0.0100 | 0.0200 | --- | 0.00000000E+00 | -1.22500000E+01 |
st_qpk3 | 0.0000 | 0.0800 | --- | 0.00000000E+00 | -3.60000000E+01 |
st_rv1 | 0.0100 | 0.0100 | --- | -5.99043451E+01 | -5.99439166E+01 |
st_rv2 | 0.0000 | 0.0300 | --- | -6.15622365E+01 | -6.44806951E+01 |
st_rv7 | 0.0000 | 0.0500 | --- | -1.18151213E+02 | -1.38187497E+02 |
wall | 0.0000 | 0.0100 | --- | 1.00000466E+00 | -1.00000466E+00 |
Modelname | Time (MINOS) | Time (BARON) | Ratio (MINOS / BARON) | Obj (MINOS) | Obj (BARON) |
camshape100 | infeasible | 18.0600 | -- | -4.18951610E+00 | -4.28414712E+00 |
ex5_3_3 | infeasible | 120.0100 | -- | 1.68776000E+00 | 3.23401822E+00 |
ex7_3_5 | infeasible | 1.3600 | -- | 1.20573576E+00 | 1.20689651E+00 |
ex7_3_6 | infeasible | 0.0100 | -- | 0.00000000E+00 | 0.00000000E+00 |
ex8_3_11 | infeasible | 120.2000 | -- | -6.57849809E-02 | -7.61744442E-01 |
ex8_3_8 | infeasible | 120.3800 | -- | -2.89932494E-01 | -2.99777591E+00 |
st_e02 | infeasible | 0.0100 | -- | 1.50000000E+02 | 2.01159334E+02 |
st_e08 | infeasible | 0.0000 | -- | 0.00000000E+00 | 7.41781958E-01 |
st_e16 | infeasible | 0.0600 | -- | 9.59622113E+03 | 1.22924673E+04 |
st_e30 | infeasible | 0.0500 | -- | 0.00000000E+00 | -1.58113883E+00 |
st_robot | infeasible | 0.0900 | -- | 0.00000000E+00 | 0.00000000E+00 |